Concurrency Control

Logical Concurrency Control from Sequential Proofs

Software Engineering / Software Development / Pure Mathematics / Programming / Computer Software / Logical Methods in Computer Science / ESOP / Concurrency Control / Boolean Satisfiability / Programming language / Logical Methods in Computer Science / ESOP / Concurrency Control / Boolean Satisfiability / Programming language

Pessimistic Predicate/Transform Model for Long Running Business Processes

Business / Materials Engineering / Mechanical Engineering / Semantics / Computational Modeling / Databases / Middleware / Business Process / Application development / Concurrency Control / Transaction Processing / Solid Modeling / Databases / Middleware / Business Process / Application development / Concurrency Control / Transaction Processing / Solid Modeling

RETRO: A Consistent and Recoverable RESTful Transaction Model

Web Services / IEEE / Resource Management / Robustness / Formal Proof / Web Service / Use Case / Concurrency Control / Transaction Processing / Boolean Satisfiability / Architectural Style / Web Service / Use Case / Concurrency Control / Transaction Processing / Boolean Satisfiability / Architectural Style

A Transaction Model for XML Databases

Information Systems / Distributed Computing / Semistructured Data / XML Database / World Wide Web / Collaborative System / Concurrency Control / Word Processing / Object Oriented Database Systems / Scheduling Algorithm / Collaborative System / Concurrency Control / Word Processing / Object Oriented Database Systems / Scheduling Algorithm

Intracoronary basic fibroblast growth factor enhances myocardial collateral perfusion in dogs

Clinical Trial / Magnetic Resonance Imaging / Quality of life / Dogs / Humans / Diabetic Retinopathy / Female / Animals / Feasibility Studies / Vehicle dynamic control / Male / Animal Model / Fibroblast Growth Factor / Aged / Middle Aged / Concurrency Control / Myocardial Infarction / Public health systems and services research / Body Weight / Coronary Circulation / Ischemic Heart Disease / Coronary Artery Disease / Growth Factor / Vasodilation / Exercise Test / Exercise Tolerance / The American / Coronary artery / Diabetic Retinopathy / Female / Animals / Feasibility Studies / Vehicle dynamic control / Male / Animal Model / Fibroblast Growth Factor / Aged / Middle Aged / Concurrency Control / Myocardial Infarction / Public health systems and services research / Body Weight / Coronary Circulation / Ischemic Heart Disease / Coronary Artery Disease / Growth Factor / Vasodilation / Exercise Test / Exercise Tolerance / The American / Coronary artery

How to Model a Real-Time Database?

Process Control / Data Structure / Database Design / Case Study / Real Time Systems / Code Generation / Real Time / Data Models / Concurrency Control / Unified Modeling Language / Dynamic behaviour of materials / Structural model / Code Generation / Real Time / Data Models / Concurrency Control / Unified Modeling Language / Dynamic behaviour of materials / Structural model

Intracoronary basic fibroblast growth factor enhances myocardial collateral perfusion in dogs

Clinical Trial / Magnetic Resonance Imaging / Dogs / Humans / Female / Animals / Feasibility Studies / Vehicle dynamic control / Male / Fibroblast Growth Factor / Aged / Middle Aged / Concurrency Control / Myocardial Infarction / Public health systems and services research / Body Weight / Coronary Circulation / Ischemic Heart Disease / Coronary Artery Disease / Vasodilation / Exercise Test / The American / Animals / Feasibility Studies / Vehicle dynamic control / Male / Fibroblast Growth Factor / Aged / Middle Aged / Concurrency Control / Myocardial Infarction / Public health systems and services research / Body Weight / Coronary Circulation / Ischemic Heart Disease / Coronary Artery Disease / Vasodilation / Exercise Test / The American

J-RADEX1 : Un Simulateur De SGBDTR2 CONVIVIAL3

Real Time / Concurrency Control

How to Model a Real-Time Database?

Process Control / Data Structure / Database Design / Case Study / Real Time Systems / Code Generation / Real Time / Data Models / Concurrency Control / Unified Modeling Language / Dynamic behaviour of materials / Structural model / Code Generation / Real Time / Data Models / Concurrency Control / Unified Modeling Language / Dynamic behaviour of materials / Structural model

J-RADEX1 : Un Simulateur De SGBDTR2 CONVIVIAL3

Real Time / Concurrency Control

A General Multi-User Undo/Redo Model

User Interface / Collaborative System / Concurrency Control / Boolean Satisfiability

A General Multi-User Undo/Redo Model

User Interface / Collaborative System / Concurrency Control / Boolean Satisfiability

A General Multi-User Undo/Redo Model

User Interface / Collaborative System / Concurrency Control / Boolean Satisfiability

Transactional collection classes

Transactional Memory / Data Structure / Hash Table / Concurrency Control / Mutual Exclusion / Abstract Data Type

A model of concurrency control in distributed database systems

Engineering / Mathematical Sciences / Concurrency Control / Distributed Database System

Copyright © 2017 DATOSPDF Inc.